package com.tressatisfiability.client;

import com.google.gwt.core.client.EntryPoint;
import com.google.gwt.user.client.ui.RootPanel;

/**
 * Entry point classes define <code>onModuleLoad()</code>.
 */
public class _satisfiability implements EntryPoint {
	private ClientController cliente;

	public void onModuleLoad() {
		cliente = new ClientController();
		RootPanel.get().add(cliente.getEscritorio());
		RootPanel.get().setStyleName("Escritorio");

	}
}
